Contextual equivalence for higher-order pi-calculus revisited
نویسندگان
چکیده
منابع مشابه
Contextual equivalence for higher-order pi-calculus revisited
The higher-order π-calculus is an extension of the π-calculus to allow communication of abstractions of processes rather than names alone. It has been studied intensively by Sangiorgi in his thesis where a characterisation of a contextual equivalence for higher-order π-calculus is provided using labelled transition systems and normal bisimulations. Unfortunately the proof technique used there r...
متن کاملContextual Equivalence for Higher-order Π-calculus Revisited
The higher-order π-calculus is an extension of the π-calculus to allow communication of abstractions of processes rather than names alone. It has been studied intensively by Sangiorgi in his thesis where a characterisation of a contextual equivalence for higher-order π-calculus is provided using labelled transition systems and normal bisimulations. Unfortunately the proof technique used there r...
متن کاملContextual Equivalence for the Pi-Calculus that can Stop
The pi-calculus is a well-analyzed model for mobile processes and mobile computations. While a lot of other process and lambda calculi that are core languages of higher-order concurrent and/or functional programming languages use a contextual semantics observing the termination behavior of programs in all program contexts, traditional program equivalences in the pi-calculus are bisimulations an...
متن کاملThe Seal Calculus Revisited: Contextual Equivalence and Bisimilarity
We present a new version of the Seal Calculus, a calculus of mobile computation. We study observational congruence and bisimulation theory, and show how they are related.
متن کاملExpressing First-order Pi-calculus in Higher-order CCS
In the research field of process calculi, encoding between different calculi is an effective way to compare the expressive power of them and can shed light on the essence of where the difference lies. Thomsen and Sangiorgi have worked on the higher-order calculi (higher-order CCS and higherorder pi-calculus, respectively) and the encoding to and from first-order pi-calculus. But the work is not...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Logical Methods in Computer Science
سال: 2005
ISSN: 1860-5974
DOI: 10.2168/lmcs-1(1:4)2005